Intel Grant

Participants : Sylvain Conchon [contact] , Alain Mebsout.

S. Conchon has obtained an academic grant by Intel corporation on the development of the Cubicle model checker. The goal of this project was to develop a new version of Cubicle with significantly improved model-checking power. This required innovative algorithmic enhancements to be implemented and evaluated.